Representation theory

Results: 2297



#Item
641Belief revision / Model theory / Semantics / Constructible universe / Interpretation / Symbol / Entailment / Logic / Logic programming / Knowledge representation

A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2006-11-29 16:24:28
642Bézier surface / Multivariate interpolation / Surfaces / Matrix / Matrix theory / Special relativity / Numerical linear algebra / Singular value decomposition / Split-quaternion / Algebra / Linear algebra / Mathematics

On-Line Geometric Modeling Notes ´ A MATRIX REPRESENTATION OF A CUBIC BEZIER PATCH Kenneth I. Joy

Add to Reading List

Source URL: graphics.cs.ucdavis.edu

Language: English - Date: 2009-09-23 12:58:14
643Mathematical logic / Formal languages / Knowledge representation / Epistemology / Model theory / Literal / Interpretation / Term algebra / Fluent / Logic / Logic programming / Mathematics

Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor,

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2011-05-19 13:21:42
644Semantics / Applied linguistics / Knowledge representation / Hierarchy / Patterns / Political culture / Prototype theory / Conceptual model / Semantic network / Linguistics / Science / Ethology

Modelling the Acquisition of Natural Language Categories Trevor Michael Fountain NI VER

Add to Reading List

Source URL: www.texasexpat.net

Language: English - Date: 2013-04-07 04:50:29
645Knowledge representation / Interpretation / Constructible universe / Science / Artificial intelligence / Linear temporal logic / Logic / Model theory / Belief revision

J. P. Delgrande A. C. Nayak M. Pagnucco Gricean Belief Change

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2004-10-14 12:12:41
646Meaning / Cognition / Ontology / Semantics / Language of thought hypothesis / George Lakoff / Philosophy of language / Mental representation / Philosophy of mind / Cognitive science / Science

Embodied Simulation as a Theory of Language Review of Louder than Words: The New Science of How the Mind Makes Meaning, by Benjamin K. Bergen, Basic Books, 2012. xi+296 pps. Ernest Davis When someone hears or reads a sen

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2013-03-31 01:11:02
647Mathematical analysis / Representation theory / Ordinary differential equations / Spectral theory / Representation theory of finite groups / Compact operator on Hilbert space / Operator theory / Abstract algebra / Mathematics

generalized_thue_morse.dvi

Add to Reading List

Source URL: www.dmg.tuwien.ac.at

Language: English - Date: 2010-09-02 08:47:24
648Mathematical physics / Quantum mechanics / Statistical mechanics / Renormalization / Motive / Beta function / Representation theory / Minimal subtraction scheme / Coupling constant / Physics / Quantum field theory / Renormalization group

From Physics to Number theory via Noncommutative Geometry, II Alain Connes and Matilde Marcolli Chapter 2

Add to Reading List

Source URL: www.math.fsu.edu

Language: English - Date: 2004-11-15 05:37:45
649Logic programming / Metalogic / Knowledge representation / Logic in computer science / Situation calculus / Frame problem / Interpretation / Fluent / Constructible universe / Mathematical logic / Logic / Model theory

Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Language: English - Date: 2014-03-04 23:18:30
650Logic / Logic programming / Constructible universe / Mathematics / Ordinal numbers / Set theory / Curry–Howard correspondence / Ordinal arithmetic / Mathematical logic / Belief revision / Knowledge representation

Parallel Belief Revision: Revising by Sets of Formulas James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2012-08-16 12:35:55
UPDATE